<?php
	session_start();
//	// Unset di tutte la variabili di sessione 
	$_SESSION = array();
//	// Distruggi l'eventuale cookie con l'ID di sessione (se esiste)
//	if (isset($_COOKIE[session_name()])) 
//	setcookie(session_name(), '', time() - 90000); 
            // Distruggi la sessione, inseriamo la riga comunque, 
	//una volta che PHP
	// viene aggiornato ad una versione senza il bug, 
	//questa funzionerà nuovamente 
	session_destroy();
        session_regenerate_id();
//	$msg = "LOG-OUT EFFETTUATO.";
//	$msg = urlencode($msg); // non ci possono essere spazi nell'URL
//	// Redirigi alla pagina destinazione 
       $arr=explode("/",dirname($_SERVER['PHP_SELF']));
       $url_new=$_GET['url'];
       $url="/index.php";
       if(strlen($url_new) >0)
           $url="/index.php?url=$url_new";
//        $url = "http://" . $_SERVER['SERVER_NAME'] . "/".$arr[1]."/index.php?msg=$msg";
        $url = "http://" . $_SERVER['SERVER_NAME'] . $url;
        header( "Location: $url" ) ;
	exit();
?>

